kepler conjecture câu

• After Gauss, no further progress was made towards proving the Kepler conjecture in the nineteenth century.
  Sau Gauss, không có những đi xa hơn để chứng minh giả thiết Kepler trong thế kỷ 19.
• This meant that any packing arrangement that disproved the Kepler conjecture would have to be an irregular one.
  Điều đó có nghĩa là bất kỳ sự sắp xếp nào chứng minh giả thiết Kepler là sai là một sự sắp xếp không bình thường.
• Gauss proved that the Kepler conjecture is true if the spheres have to be arranged in a regular lattice.
  Gauss đã chứng minh giả thuyết của Kepler là đúng nếu như các quả cầu được sắp xếp trong một mạng lưới thông thường.
• In January 2003 Hales announced the start of a collaborative project to produce a complete formal proof of the Kepler conjecture.
  Vào tháng 1 năm 2003, Hales đã tuyên bố một dự án hợp tác để cho ra đời phương pháp chứng minh hoàn thiện cho giả thuyết Kepler.
• But eliminating all possible irregular arrangements is very difficult, and this is what made the Kepler conjecture so hard to prove.
  Nhưng loại bỏ tất cả những trường hợp không bình thường đó là rất khó, đó là lý do vì sao giả thiết Kepler rất khó để chứng minh.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture , have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thiết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture, have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thiết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture, have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thuyết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture , have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thuyết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• In 1998, Thomas Hales astounded the world when he used a computer to solve a 400-year-old problem called the Kepler conjecture.
  Năm 1998, Thomas Hales khiến cả thế giới kinh ngạc khi sử dụng máy tính để giải quyết vấn đề 400 năm tuổi được gọi là phỏng đoán Kepler.
• In 1998, Thomas Callister Hales, following the approach suggested by László Fejes Tóth in 1953, announced a proof of the Kepler conjecture.
  Năm 1998, Thomas Hales đi theo một cách tiếp cận được đề xuất bởi Fejes Tóth vào năm 1953 tuyên bố rằng ông có cách chứng minh giả thiết Kepler.
• In 1998 Thomas Hales, following the approach suggested by László Fejes Tóth in 1953, announced the proof of the Kepler conjecture.
  Năm 1998, Thomas Hales đi theo một cách tiếp cận được đề xuất bởi Fejes Tóth vào năm 1953 tuyên bố rằng ông có cách chứng minh giả thiết Kepler.
• In 1998 Thomas Hales, following an approach suggested by Fejes Tóth (1953), announced that he had a proof of the Kepler conjecture.
  Năm 1998, Thomas Hales đi theo một cách tiếp cận được đề xuất bởi Fejes Tóth vào năm 1953 tuyên bố rằng ông có cách chứng minh giả thiết Kepler.
• The Kepler conjecture, named after the 17th-century mathematician and astronomer Johannes Kepler, is a mathematical theorem about sphere packing in three-dimensional Euclidean space.
  Giả thiết Kepler, được đặt theo tên của nhà toán học và nhà thiên văn người Đức Johannes Kepler, là một định lý toán học về xếp hình cầu trong không gian Euclid ba chiều.
• Referees said that they were “99% certain” of the correctness of Hales’ proof, and the Kepler conjecture was accepted as a theorem.
  Những người đóng vai trò trọng tài đã cho rằng có đến 99% được xác định là đúng trong cách chứng minh của Hales, và giả thiết của Kepler được chấp nhận như một định lý.
• In 2014, the Flyspeck project team, headed by Hales, announced the completion of a formal proof of the Kepler conjecture using a combination of the Isabelle and HOL Light proof assistants.
  Năm 2014, đội dự án Flyspeck, được dẫn dắt bởi Hales, đã tuyên bố đã hoàn thiện một chứng minh chính thức của giả thiết Kepler, sử dụng sự kết hợp các trợ thủ Isabelle và HOL Light.
• If a lower bound (for the function value) could be found for every one of these configurations that was greater than the value of the function for the cubic close packing arrangement, then the Kepler conjecture would be proved.
  Nếu giá trị thấp hơn (so với giá trị của công thức) có thể được tìm thấy cho mọi tập hợp của những cấu hình tốt hơn giá trị của công thức cho sự sắp xếp khối lập phương, giả thiết Kepler sẽ được chứng minh.